Axiomatic semantics

#	Item
11	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
12	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering